----------------------------------------------------------------------------
-- LuaJIT ARM64 disassembler module.
--
-- Copyright (C) 2005-2017 Mike Pall. All rights reserved.
-- Released under the MIT license. See Copyright Notice in luajit.h
--
-- Contributed by Djordje Kovacevic and Stefan Pejic from RT-RK.com.
-- Sponsored by Cisco Systems, Inc.
----------------------------------------------------------------------------
-- This is a helper module used by the LuaJIT machine code dumper module.
--
-- It disassembles most user-mode AArch64 instructions.
-- NYI: Advanced SIMD and VFP instructions.
------------------------------------------------------------------------------

local type = type
local sub, byte, format = string.sub, string.byte, string.format
local match, gmatch, gsub = string.match, string.gmatch, string.gsub
local concat = table.concat
local bit = require("bit")
local band, bor, bxor, tohex = bit.band, bit.bor, bit.bxor, bit.tohex
local lshift, rshift, arshift = bit.lshift, bit.rshift, bit.arshift
local ror = bit.ror

------------------------------------------------------------------------------
-- Opcode maps
------------------------------------------------------------------------------

local map_adr = { -- PC-relative addressing.
    shift = 31, mask = 1,
    [0] = "adrDBx", "adrpDBx"
}

local map_addsubi = { -- Add/subtract immediate.
    shift = 29, mask = 3,
    [0] = "add|movDNIg", "adds|cmnD0NIg", "subDNIg", "subs|cmpD0NIg",
}

local map_logi = { -- Logical immediate.
    shift = 31, mask = 1,
    [0] = {
        shift = 22, mask = 1,
        [0] = {
            shift = 29, mask = 3,
            [0] = "andDNig", "orr|movDN0ig", "eorDNig", "ands|tstD0Nig"
        },
        false -- unallocated
    },
    {
        shift = 29, mask = 3,
        [0] = "andDNig", "orr|movDN0ig", "eorDNig", "ands|tstD0Nig"
    }
}

local map_movwi = { -- Move wide immediate.
    shift = 31, mask = 1,
    [0] = {
        shift = 22, mask = 1,
        [0] = {
            shift = 29, mask = 3,
            [0] = "movnDWRg", false, "movz|movDYRg", "movkDWRg"
        }, false -- unallocated
    },
    {
        shift = 29, mask = 3,
        [0] = "movnDWRg", false, "movz|movDYRg", "movkDWRg"
    },
}

local map_bitf = { -- Bitfield.
    shift = 31, mask = 1,
    [0] = {
        shift = 22, mask = 1,
        [0] = {
            shift = 29, mask = 3,
            [0] = "sbfm|sbfiz|sbfx|asr|sxtw|sxth|sxtbDN12w",
            "bfm|bfi|bfxilDN13w",
            "ubfm|ubfiz|ubfx|lsr|lsl|uxth|uxtbDN12w"
        }
    },
    {
        shift = 22, mask = 1,
        {
            shift = 29, mask = 3,
            [0] = "sbfm|sbfiz|sbfx|asr|sxtw|sxth|sxtbDN12x",
            "bfm|bfi|bfxilDN13x",
            "ubfm|ubfiz|ubfx|lsr|lsl|uxth|uxtbDN12x"
        }
    }
}

local map_datai = { -- Data processing - immediate.
    shift = 23, mask = 7,
    [0] = map_adr, map_adr, map_addsubi, false,
    map_logi, map_movwi, map_bitf,
    {
        shift = 15, mask = 0x1c0c1,
        [0] = "extr|rorDNM4w", [0x10080] = "extr|rorDNM4x",
        [0x10081] = "extr|rorDNM4x"
    }
}

local map_logsr = { -- Logical, shifted register.
    shift = 31, mask = 1,
    [0] = {
        shift = 15, mask = 1,
        [0] = {
            shift = 29, mask = 3,
            [0] = {
                shift = 21, mask = 7,
                [0] = "andDNMSg", "bicDNMSg", "andDNMSg", "bicDNMSg",
                "andDNMSg", "bicDNMSg", "andDNMg", "bicDNMg"
            },
            {
                shift = 21, mask = 7,
                [0] = "orr|movDN0MSg", "orn|mvnDN0MSg", "orr|movDN0MSg", "orn|mvnDN0MSg",
                "orr|movDN0MSg", "orn|mvnDN0MSg", "orr|movDN0Mg", "orn|mvnDN0Mg"
            },
            {
                shift = 21, mask = 7,
                [0] = "eorDNMSg", "eonDNMSg", "eorDNMSg", "eonDNMSg",
                "eorDNMSg", "eonDNMSg", "eorDNMg", "eonDNMg"
            },
            {
                shift = 21, mask = 7,
                [0] = "ands|tstD0NMSg", "bicsDNMSg", "ands|tstD0NMSg", "bicsDNMSg",
                "ands|tstD0NMSg", "bicsDNMSg", "ands|tstD0NMg", "bicsDNMg"
            }
        },
        false -- unallocated
    },
    {
        shift = 29, mask = 3,
        [0] = {
            shift = 21, mask = 7,
            [0] = "andDNMSg", "bicDNMSg", "andDNMSg", "bicDNMSg",
            "andDNMSg", "bicDNMSg", "andDNMg", "bicDNMg"
        },
        {
            shift = 21, mask = 7,
            [0] = "orr|movDN0MSg", "orn|mvnDN0MSg", "orr|movDN0MSg", "orn|mvnDN0MSg",
            "orr|movDN0MSg", "orn|mvnDN0MSg", "orr|movDN0Mg", "orn|mvnDN0Mg"
        },
        {
            shift = 21, mask = 7,
            [0] = "eorDNMSg", "eonDNMSg", "eorDNMSg", "eonDNMSg",
            "eorDNMSg", "eonDNMSg", "eorDNMg", "eonDNMg"
        },
        {
            shift = 21, mask = 7,
            [0] = "ands|tstD0NMSg", "bicsDNMSg", "ands|tstD0NMSg", "bicsDNMSg",
            "ands|tstD0NMSg", "bicsDNMSg", "ands|tstD0NMg", "bicsDNMg"
        }
    }
}

local map_assh = {
    shift = 31, mask = 1,
    [0] = {
        shift = 15, mask = 1,
        [0] = {
            shift = 29, mask = 3,
            [0] = {
                shift = 22, mask = 3,
                [0] = "addDNMSg", "addDNMSg", "addDNMSg", "addDNMg"
            },
            {
                shift = 22, mask = 3,
                [0] = "adds|cmnD0NMSg", "adds|cmnD0NMSg",
                "adds|cmnD0NMSg", "adds|cmnD0NMg"
            },
            {
                shift = 22, mask = 3,
                [0] = "sub|negDN0MSg", "sub|negDN0MSg", "sub|negDN0MSg", "sub|negDN0Mg"
            },
            {
                shift = 22, mask = 3,
                [0] = "subs|cmp|negsD0N0MzSg", "subs|cmp|negsD0N0MzSg",
                "subs|cmp|negsD0N0MzSg", "subs|cmp|negsD0N0Mzg"
            },
        },
        false -- unallocated
    },
    {
        shift = 29, mask = 3,
        [0] = {
            shift = 22, mask = 3,
            [0] = "addDNMSg", "addDNMSg", "addDNMSg", "addDNMg"
        },
        {
            shift = 22, mask = 3,
            [0] = "adds|cmnD0NMSg", "adds|cmnD0NMSg", "adds|cmnD0NMSg",
            "adds|cmnD0NMg"
        },
        {
            shift = 22, mask = 3,
            [0] = "sub|negDN0MSg", "sub|negDN0MSg", "sub|negDN0MSg", "sub|negDN0Mg"
        },
        {
            shift = 22, mask = 3,
            [0] = "subs|cmp|negsD0N0MzSg", "subs|cmp|negsD0N0MzSg",
            "subs|cmp|negsD0N0MzSg", "subs|cmp|negsD0N0Mzg"
        }
    }
}

local map_addsubsh = { -- Add/subtract, shifted register.
    shift = 22, mask = 3,
    [0] = map_assh, map_assh, map_assh
}

local map_addsubex = { -- Add/subtract, extended register.
    shift = 22, mask = 3,
    [0] = {
        shift = 29, mask = 3,
        [0] = "addDNMXg", "adds|cmnD0NMXg", "subDNMXg", "subs|cmpD0NMzXg",
    }
}

local map_addsubc = { -- Add/subtract, with carry.
    shift = 10, mask = 63,
    [0] = {
        shift = 29, mask = 3,
        [0] = "adcDNMg", "adcsDNMg", "sbc|ngcDN0Mg", "sbcs|ngcsDN0Mg",
    }
}

local map_ccomp = {
    shift = 4, mask = 1,
    [0] = {
        shift = 10, mask = 3,
        [0] = { -- Conditional compare register.
            shift = 29, mask = 3,
            "ccmnNMVCg", false, "ccmpNMVCg",
        },
        [2] = {  -- Conditional compare immediate.
            shift = 29, mask = 3,
            "ccmnN5VCg", false, "ccmpN5VCg",
        }
    }
}

local map_csel = { -- Conditional select.
    shift = 11, mask = 1,
    [0] = {
        shift = 10, mask = 1,
        [0] = {
            shift = 29, mask = 3,
            [0] = "cselDNMzCg", false, "csinv|cinv|csetmDNMcg", false,
        },
        {
            shift = 29, mask = 3,
            [0] = "csinc|cinc|csetDNMcg", false, "csneg|cnegDNMcg", false,
        }
    }
}

local map_data1s = { -- Data processing, 1 source.
    shift = 29, mask = 1,
    [0] = {
        shift = 31, mask = 1,
        [0] = {
            shift = 10, mask = 0x7ff,
            [0] = "rbitDNg", "rev16DNg", "revDNw", false, "clzDNg", "clsDNg"
        },
        {
            shift = 10, mask = 0x7ff,
            [0] = "rbitDNg", "rev16DNg", "rev32DNx", "revDNx", "clzDNg", "clsDNg"
        }
    }
}

local map_data2s = { -- Data processing, 2 sources.
    shift = 29, mask = 1,
    [0] = {
        shift = 10, mask = 63,
        false, "udivDNMg", "sdivDNMg", false, false, false, false, "lslDNMg",
        "lsrDNMg", "asrDNMg", "rorDNMg"
    }
}

local map_data3s = { -- Data processing, 3 sources.
    shift = 29, mask = 7,
    [0] = {
        shift = 21, mask = 7,
        [0] = {
            shift = 15, mask = 1,
            [0] = "madd|mulDNMA0g", "msub|mnegDNMA0g"
        }
    }, false, false, false,
    {
        shift = 15, mask = 1,
        [0] = {
            shift = 21, mask = 7,
            [0] = "madd|mulDNMA0g", "smaddl|smullDxNMwA0x", "smulhDNMx", false,
            false, "umaddl|umullDxNMwA0x", "umulhDNMx"
        },
        {
            shift = 21, mask = 7,
            [0] = "msub|mnegDNMA0g", "smsubl|smneglDxNMwA0x", false, false,
            false, "umsubl|umneglDxNMwA0x"
        }
    }
}

local map_datar = { -- Data processing, register.
    shift = 28, mask = 1,
    [0] = {
        shift = 24, mask = 1,
        [0] = map_logsr,
        {
            shift = 21, mask = 1,
            [0] = map_addsubsh, map_addsubex
        }
    },
    {
        shift = 21, mask = 15,
        [0] = map_addsubc, false, map_ccomp, false, map_csel, false,
        {
            shift = 30, mask = 1,
            [0] = map_data2s, map_data1s
        },
        false, map_data3s, map_data3s, map_data3s, map_data3s, map_data3s,
        map_data3s, map_data3s, map_data3s
    }
}

local map_lrl = { -- Load register, literal.
    shift = 26, mask = 1,
    [0] = {
        shift = 30, mask = 3,
        [0] = "ldrDwB", "ldrDxB", "ldrswDxB"
    },
    {
        shift = 30, mask = 3,
        [0] = "ldrDsB", "ldrDdB"
    }
}

local map_lsriind = { -- Load/store register, immediate pre/post-indexed.
    shift = 30, mask = 3,
    [0] = {
        shift = 26, mask = 1,
        [0] = {
            shift = 22, mask = 3,
            [0] = "strbDwzL", "ldrbDwzL", "ldrsbDxzL", "ldrsbDwzL"
        }
    },
    {
        shift = 26, mask = 1,
        [0] = {
            shift = 22, mask = 3,
            [0] = "strhDwzL", "ldrhDwzL", "ldrshDxzL", "ldrshDwzL"
        }
    },
    {
        shift = 26, mask = 1,
        [0] = {
            shift = 22, mask = 3,
            [0] = "strDwzL", "ldrDwzL", "ldrswDxzL"
        },
        {
            shift = 22, mask = 3,
            [0] = "strDszL", "ldrDszL"
        }
    },
    {
        shift = 26, mask = 1,
        [0] = {
            shift = 22, mask = 3,
            [0] = "strDxzL", "ldrDxzL"
        },
        {
            shift = 22, mask = 3,
            [0] = "strDdzL", "ldrDdzL"
        }
    }
}

local map_lsriro = {
    shift = 21, mask = 1,
    [0] = {  -- Load/store register immediate.
        shift = 10, mask = 3,
        [0] = { -- Unscaled immediate.
            shift = 26, mask = 1,
            [0] = {
                shift = 30, mask = 3,
                [0] = {
                    shift = 22, mask = 3,
                    [0] = "sturbDwK", "ldurbDwK"
                },
                {
                    shift = 22, mask = 3,
                    [0] = "sturhDwK", "ldurhDwK"
                },
                {
                    shift = 22, mask = 3,
                    [0] = "sturDwK", "ldurDwK"
                },
                {
                    shift = 22, mask = 3,
                    [0] = "sturDxK", "ldurDxK"
                }
            }
        }, map_lsriind, false, map_lsriind
    },
    {  -- Load/store register, register offset.
        shift = 10, mask = 3,
        [2] = {
            shift = 26, mask = 1,
            [0] = {
                shift = 30, mask = 3,
                [0] = {
                    shift = 22, mask = 3,
                    [0] = "strbDwO", "ldrbDwO", "ldrsbDxO", "ldrsbDwO"
                },
                {
                    shift = 22, mask = 3,
                    [0] = "strhDwO", "ldrhDwO", "ldrshDxO", "ldrshDwO"
                },
                {
                    shift = 22, mask = 3,
                    [0] = "strDwO", "ldrDwO", "ldrswDxO"
                },
                {
                    shift = 22, mask = 3,
                    [0] = "strDxO", "ldrDxO"
                }
            },
            {
                shift = 30, mask = 3,
                [2] = {
                    shift = 22, mask = 3,
                    [0] = "strDsO", "ldrDsO"
                },
                [3] = {
                    shift = 22, mask = 3,
                    [0] = "strDdO", "ldrDdO"
                }
            }
        }
    }
}

local map_lsp = { -- Load/store register pair, offset.
    shift = 22, mask = 1,
    [0] = {
        shift = 30, mask = 3,
        [0] = {
            shift = 26, mask = 1,
            [0] = "stpDzAzwP", "stpDzAzsP",
        },
        {
            shift = 26, mask = 1,
            "stpDzAzdP"
        },
        {
            shift = 26, mask = 1,
            [0] = "stpDzAzxP"
        }
    },
    {
        shift = 30, mask = 3,
        [0] = {
            shift = 26, mask = 1,
            [0] = "ldpDzAzwP", "ldpDzAzsP",
        },
        {
            shift = 26, mask = 1,
            [0] = "ldpswDAxP", "ldpDzAzdP"
        },
        {
            shift = 26, mask = 1,
            [0] = "ldpDzAzxP"
        }
    }
}

local map_ls = { -- Loads and stores.
    shift = 24, mask = 0x31,
    [0x10] = map_lrl, [0x30] = map_lsriro,
    [0x20] = {
        shift = 23, mask = 3,
        map_lsp, map_lsp, map_lsp
    },
    [0x21] = {
        shift = 23, mask = 3,
        map_lsp, map_lsp, map_lsp
    },
    [0x31] = {
        shift = 26, mask = 1,
        [0] = {
            shift = 30, mask = 3,
            [0] = {
                shift = 22, mask = 3,
                [0] = "strbDwzU", "ldrbDwzU"
            },
            {
                shift = 22, mask = 3,
                [0] = "strhDwzU", "ldrhDwzU"
            },
            {
                shift = 22, mask = 3,
                [0] = "strDwzU", "ldrDwzU"
            },
            {
                shift = 22, mask = 3,
                [0] = "strDxzU", "ldrDxzU"
            }
        },
        {
            shift = 30, mask = 3,
            [2] = {
                shift = 22, mask = 3,
                [0] = "strDszU", "ldrDszU"
            },
            [3] = {
                shift = 22, mask = 3,
                [0] = "strDdzU", "ldrDdzU"
            }
        }
    },
}

local map_datafp = { -- Data processing, SIMD and FP.
    shift = 28, mask = 7,
    { -- 001
        shift = 24, mask = 1,
        [0] = {
            shift = 21, mask = 1,
            {
                shift = 10, mask = 3,
                [0] = {
                    shift = 12, mask = 1,
                    [0] = {
                        shift = 13, mask = 1,
                        [0] = {
                            shift = 14, mask = 1,
                            [0] = {
                                shift = 15, mask = 1,
                                [0] = { -- FP/int conversion.
                                    shift = 31, mask = 1,
                                    [0] = {
                                        shift = 16, mask = 0xff,
                                        [0x20] = "fcvtnsDwNs", [0x21] = "fcvtnuDwNs",
                                        [0x22] = "scvtfDsNw", [0x23] = "ucvtfDsNw",
                                        [0x24] = "fcvtasDwNs", [0x25] = "fcvtauDwNs",
                                        [0x26] = "fmovDwNs", [0x27] = "fmovDsNw",
                                        [0x28] = "fcvtpsDwNs", [0x29] = "fcvtpuDwNs",
                                        [0x30] = "fcvtmsDwNs", [0x31] = "fcvtmuDwNs",
                                        [0x38] = "fcvtzsDwNs", [0x39] = "fcvtzuDwNs",
                                        [0x60] = "fcvtnsDwNd", [0x61] = "fcvtnuDwNd",
                                        [0x62] = "scvtfDdNw", [0x63] = "ucvtfDdNw",
                                        [0x64] = "fcvtasDwNd", [0x65] = "fcvtauDwNd",
                                        [0x68] = "fcvtpsDwNd", [0x69] = "fcvtpuDwNd",
                                        [0x70] = "fcvtmsDwNd", [0x71] = "fcvtmuDwNd",
                                        [0x78] = "fcvtzsDwNd", [0x79] = "fcvtzuDwNd"
                                    },
                                    {
                                        shift = 16, mask = 0xff,
                                        [0x20] = "fcvtnsDxNs", [0x21] = "fcvtnuDxNs",
                                        [0x22] = "scvtfDsNx", [0x23] = "ucvtfDsNx",
                                        [0x24] = "fcvtasDxNs", [0x25] = "fcvtauDxNs",
                                        [0x28] = "fcvtpsDxNs", [0x29] = "fcvtpuDxNs",
                                        [0x30] = "fcvtmsDxNs", [0x31] = "fcvtmuDxNs",
                                        [0x38] = "fcvtzsDxNs", [0x39] = "fcvtzuDxNs",
                                        [0x60] = "fcvtnsDxNd", [0x61] = "fcvtnuDxNd",
                                        [0x62] = "scvtfDdNx", [0x63] = "ucvtfDdNx",
                                        [0x64] = "fcvtasDxNd", [0x65] = "fcvtauDxNd",
                                        [0x66] = "fmovDxNd", [0x67] = "fmovDdNx",
                                        [0x68] = "fcvtpsDxNd", [0x69] = "fcvtpuDxNd",
                                        [0x70] = "fcvtmsDxNd", [0x71] = "fcvtmuDxNd",
                                        [0x78] = "fcvtzsDxNd", [0x79] = "fcvtzuDxNd"
                                    }
                                }
                            },
                            { -- FP data-processing, 1 source.
                                shift = 31, mask = 1,
                                [0] = {
                                    shift = 22, mask = 3,
                                    [0] = {
                                        shift = 15, mask = 63,
                                        [0] = "fmovDNf", "fabsDNf", "fnegDNf",
                                        "fsqrtDNf", false, "fcvtDdNs", false, false,
                                        "frintnDNf", "frintpDNf", "frintmDNf", "frintzDNf",
                                        "frintaDNf", false, "frintxDNf", "frintiDNf",
                                    },
                                    {
                                        shift = 15, mask = 63,
                                        [0] = "fmovDNf", "fabsDNf", "fnegDNf",
                                        "fsqrtDNf", "fcvtDsNd", false, false, false,
                                        "frintnDNf", "frintpDNf", "frintmDNf", "frintzDNf",
                                        "frintaDNf", false, "frintxDNf", "frintiDNf",
                                    }
                                }
                            }
                        },
                        { -- FP compare.
                            shift = 31, mask = 1,
                            [0] = {
                                shift = 14, mask = 3,
                                [0] = {
                                    shift = 23, mask = 1,
                                    [0] = {
                                        shift = 0, mask = 31,
                                        [0] = "fcmpNMf", [8] = "fcmpNZf",
                                        [16] = "fcmpeNMf", [24] = "fcmpeNZf",
                                    }
                                }
                            }
                        }
                    },
                    { -- FP immediate.
                        shift = 31, mask = 1,
                        [0] = {
                            shift = 5, mask = 31,
                            [0] = {
                                shift = 23, mask = 1,
                                [0] = "fmovDFf"
                            }
                        }
                    }
                },
                { -- FP conditional compare.
                    shift = 31, mask = 1,
                    [0] = {
                        shift = 23, mask = 1,
                        [0] = {
                            shift = 4, mask = 1,
                            [0] = "fccmpNMVCf", "fccmpeNMVCf"
                        }
                    }
                },
                { -- FP data-processing, 2 sources.
                    shift = 31, mask = 1,
                    [0] = {
                        shift = 23, mask = 1,
                        [0] = {
                            shift = 12, mask = 15,
                            [0] = "fmulDNMf", "fdivDNMf", "faddDNMf", "fsubDNMf",
                            "fmaxDNMf", "fminDNMf", "fmaxnmDNMf", "fminnmDNMf",
                            "fnmulDNMf"
                        }
                    }
                },
                { -- FP conditional select.
                    shift = 31, mask = 1,
                    [0] = {
                        shift = 23, mask = 1,
                        [0] = "fcselDNMCf"
                    }
                }
            }
        },
        { -- FP data-processing, 3 sources.
            shift = 31, mask = 1,
            [0] = {
                shift = 15, mask = 1,
                [0] = {
                    shift = 21, mask = 5,
                    [0] = "fmaddDNMAf", "fnmaddDNMAf"
                },
                {
                    shift = 21, mask = 5,
                    [0] = "fmsubDNMAf", "fnmsubDNMAf"
                }
            }
        }
    }
}

local map_br = { -- Branches, exception generating and system instructions.
    shift = 29, mask = 7,
    [0] = "bB",
    { -- Compare & branch, immediate.
        shift = 24, mask = 3,
        [0] = "cbzDBg", "cbnzDBg", "tbzDTBw", "tbnzDTBw"
    },
    { -- Conditional branch, immediate.
        shift = 24, mask = 3,
        [0] = {
            shift = 4, mask = 1,
            [0] = {
                shift = 0, mask = 15,
                [0] = "beqB", "bneB", "bhsB", "bloB", "bmiB", "bplB", "bvsB", "bvcB",
                "bhiB", "blsB", "bgeB", "bltB", "bgtB", "bleB", "balB"
            }
        }
    }, false, "blB",
    { -- Compare & branch, immediate.
        shift = 24, mask = 3,
        [0] = "cbzDBg", "cbnzDBg", "tbzDTBx", "tbnzDTBx"
    },
    {
        shift = 24, mask = 3,
        [0] = { -- Exception generation.
            shift = 0, mask = 0xe0001f,
            [0x200000] = "brkW"
        },
        { -- System instructions.
            shift = 0, mask = 0x3fffff,
            [0x03201f] = "nop"
        },
        { -- Unconditional branch, register.
            shift = 0, mask = 0xfffc1f,
            [0x1f0000] = "brNx", [0x3f0000] = "blrNx",
            [0x5f0000] = "retNx"
        },
    }
}

local map_init = {
    shift = 25, mask = 15,
    [0] = false, false, false, false, map_ls, map_datar, map_ls, map_datafp,
    map_datai, map_datai, map_br, map_br, map_ls, map_datar, map_ls, map_datafp
}

------------------------------------------------------------------------------

local map_regs = { x = {}, w = {}, d = {}, s = {} }

for i = 0, 30 do
    map_regs.x[i] = "x" .. i
    map_regs.w[i] = "w" .. i
    map_regs.d[i] = "d" .. i
    map_regs.s[i] = "s" .. i
end
map_regs.x[31] = "sp"
map_regs.w[31] = "wsp"
map_regs.d[31] = "d31"
map_regs.s[31] = "s31"

local map_cond = {
    [0] = "eq", "ne", "cs", "cc", "mi", "pl", "vs", "vc",
    "hi", "ls", "ge", "lt", "gt", "le", "al",
}

local map_shift = { [0] = "lsl", "lsr", "asr", }

local map_extend = {
    [0] = "uxtb", "uxth", "uxtw", "uxtx", "sxtb", "sxth", "sxtw", "sxtx",
}

------------------------------------------------------------------------------

-- Output a nicely formatted line with an opcode and operands.
local function putop(ctx, text, operands)
    local pos = ctx.pos
    local extra = ""
    if ctx.rel then
        local sym = ctx.symtab[ctx.rel]
        if sym then
            extra = "\t->" .. sym
        end
    end
    if ctx.hexdump > 0 then
        ctx.out(format("%08x  %s  %-5s %s%s\n",
                ctx.addr + pos, tohex(ctx.op), text, concat(operands, ", "), extra))
    else
        ctx.out(format("%08x  %-5s %s%s\n",
                ctx.addr + pos, text, concat(operands, ", "), extra))
    end
    ctx.pos = pos + 4
end

-- Fallback for unknown opcodes.
local function unknown(ctx)
    return putop(ctx, ".long", { "0x" .. tohex(ctx.op) })
end

local function match_reg(p, pat, regnum)
    return map_regs[match(pat, p .. "%w-([xwds])")][regnum]
end

local function fmt_hex32(x)
    if x < 0 then
        return tohex(x)
    else
        return format("%x", x)
    end
end

local imm13_rep = { 0x55555555, 0x11111111, 0x01010101, 0x00010001, 0x00000001 }

local function decode_imm13(op)
    local imms = band(rshift(op, 10), 63)
    local immr = band(rshift(op, 16), 63)
    if band(op, 0x00400000) == 0 then
        local len = 5
        if imms >= 56 then
            if imms >= 60 then
                len = 1
            else
                len = 2
            end
        elseif imms >= 48 then
            len = 3
        elseif imms >= 32 then
            len = 4
        end
        local l = lshift(1, len) - 1
        local s = band(imms, l)
        local r = band(immr, l)
        local imm = ror(rshift(-1, 31 - s), r)
        if len ~= 5 then
            imm = band(imm, lshift(1, l) - 1) + rshift(imm, 31 - l)
        end
        imm = imm * imm13_rep[len]
        local ix = fmt_hex32(imm)
        if rshift(op, 31) ~= 0 then
            return ix .. tohex(imm)
        else
            return ix
        end
    else
        local lo, hi = -1, 0
        if imms < 32 then
            lo = rshift(-1, 31 - imms)
        else
            hi = rshift(-1, 63 - imms)
        end
        if immr ~= 0 then
            lo, hi = ror(lo, immr), ror(hi, immr)
            local x = immr == 32 and 0 or band(bxor(lo, hi), lshift(-1, 32 - immr))
            lo, hi = bxor(lo, x), bxor(hi, x)
            if immr >= 32 then
                lo, hi = hi, lo
            end
        end
        if hi ~= 0 then
            return fmt_hex32(hi) .. tohex(lo)
        else
            return fmt_hex32(lo)
        end
    end
end

local function parse_immpc(op, name)
    if name == "b" or name == "bl" then
        return arshift(lshift(op, 6), 4)
    elseif name == "adr" or name == "adrp" then
        local immlo = band(rshift(op, 29), 3)
        local immhi = lshift(arshift(lshift(op, 8), 13), 2)
        return bor(immhi, immlo)
    elseif name == "tbz" or name == "tbnz" then
        return lshift(arshift(lshift(op, 13), 18), 2)
    else
        return lshift(arshift(lshift(op, 8), 13), 2)
    end
end

local function parse_fpimm8(op)
    local sign = band(op, 0x100000) == 0 and 1 or -1
    local exp = bxor(rshift(arshift(lshift(op, 12), 5), 24), 0x80) - 131
    local frac = 16 + band(rshift(op, 13), 15)
    return sign * frac * 2 ^ exp
end

local function prefer_bfx(sf, uns, imms, immr)
    if imms < immr or imms == 31 or imms == 63 then
        return false
    end
    if immr == 0 then
        if sf == 0 and (imms == 7 or imms == 15) then
            return false
        end
        if sf ~= 0 and uns == 0 and (imms == 7 or imms == 15 or imms == 31) then
            return false
        end
    end
    return true
end

-- Disassemble a single instruction.
local function disass_ins(ctx)
    local pos = ctx.pos
    local b0, b1, b2, b3 = byte(ctx.code, pos + 1, pos + 4)
    local op = bor(lshift(b3, 24), lshift(b2, 16), lshift(b1, 8), b0)
    local operands = {}
    local suffix = ""
    local last, name, pat
    local map_reg
    ctx.op = op
    ctx.rel = nil
    last = nil
    local opat
    opat = map_init[band(rshift(op, 25), 15)]
    while type(opat) ~= "string" do
        if not opat then
            return unknown(ctx)
        end
        opat = opat[band(rshift(op, opat.shift), opat.mask)] or opat._
    end
    name, pat = match(opat, "^([a-z0-9]*)(.*)")
    local altname, pat2 = match(pat, "|([a-z0-9_.|]*)(.*)")
    if altname then
        pat = pat2
    end
    if sub(pat, 1, 1) == "." then
        local s2, p2 = match(pat, "^([a-z0-9.]*)(.*)")
        suffix = suffix .. s2
        pat = p2
    end

    local rt = match(pat, "[gf]")
    if rt then
        if rt == "g" then
            map_reg = band(op, 0x80000000) ~= 0 and map_regs.x or map_regs.w
        else
            map_reg = band(op, 0x400000) ~= 0 and map_regs.d or map_regs.s
        end
    end

    local second0, immr

    for p in gmatch(pat, ".") do
        local x = nil
        if p == "D" then
            local regnum = band(op, 31)
            x = rt and map_reg[regnum] or match_reg(p, pat, regnum)
        elseif p == "N" then
            local regnum = band(rshift(op, 5), 31)
            x = rt and map_reg[regnum] or match_reg(p, pat, regnum)
        elseif p == "M" then
            local regnum = band(rshift(op, 16), 31)
            x = rt and map_reg[regnum] or match_reg(p, pat, regnum)
        elseif p == "A" then
            local regnum = band(rshift(op, 10), 31)
            x = rt and map_reg[regnum] or match_reg(p, pat, regnum)
        elseif p == "B" then
            local addr = ctx.addr + pos + parse_immpc(op, name)
            ctx.rel = addr
            x = "0x" .. tohex(addr)
        elseif p == "T" then
            x = bor(band(rshift(op, 26), 32), band(rshift(op, 19), 31))
        elseif p == "V" then
            x = band(op, 15)
        elseif p == "C" then
            x = map_cond[band(rshift(op, 12), 15)]
        elseif p == "c" then
            local rn = band(rshift(op, 5), 31)
            local rm = band(rshift(op, 16), 31)
            local cond = band(rshift(op, 12), 15)
            local invc = bxor(cond, 1)
            x = map_cond[cond]
            if altname and cond ~= 14 and cond ~= 15 then
                local a1, a2 = match(altname, "([^|]*)|(.*)")
                if rn == rm then
                    local n = #operands
                    operands[n] = nil
                    x = map_cond[invc]
                    if rn ~= 31 then
                        if a1 then
                            name = a1
                        else
                            name = altname
                        end
                    else
                        operands[n - 1] = nil
                        name = a2
                    end
                end
            end
        elseif p == "W" then
            x = band(rshift(op, 5), 0xffff)
        elseif p == "Y" then
            x = band(rshift(op, 5), 0xffff)
            local hw = band(rshift(op, 21), 3)
            if altname and (hw == 0 or x ~= 0) then
                name = altname
            end
        elseif p == "L" then
            local rn = map_regs.x[band(rshift(op, 5), 31)]
            local imm9 = arshift(lshift(op, 11), 23)
            if band(op, 0x800) ~= 0 then
                x = "[" .. rn .. ", #" .. imm9 .. "]!"
            else
                x = "[" .. rn .. "], #" .. imm9
            end
        elseif p == "U" then
            local rn = map_regs.x[band(rshift(op, 5), 31)]
            local sz = band(rshift(op, 30), 3)
            local imm12 = lshift(arshift(lshift(op, 10), 20), sz)
            if imm12 ~= 0 then
                x = "[" .. rn .. ", #" .. imm12 .. "]"
            else
                x = "[" .. rn .. "]"
            end
        elseif p == "K" then
            local rn = map_regs.x[band(rshift(op, 5), 31)]
            local imm9 = arshift(lshift(op, 11), 23)
            if imm9 ~= 0 then
                x = "[" .. rn .. ", #" .. imm9 .. "]"
            else
                x = "[" .. rn .. "]"
            end
        elseif p == "O" then
            local rn, rm = map_regs.x[band(rshift(op, 5), 31)]
            local m = band(rshift(op, 13), 1)
            if m == 0 then
                rm = map_regs.w[band(rshift(op, 16), 31)]
            else
                rm = map_regs.x[band(rshift(op, 16), 31)]
            end
            x = "[" .. rn .. ", " .. rm
            local opt = band(rshift(op, 13), 7)
            local s = band(rshift(op, 12), 1)
            local sz = band(rshift(op, 30), 3)
            -- extension to be applied
            if opt == 3 then
                if s == 0 then
                    x = x .. "]"
                else
                    x = x .. ", lsl #" .. sz .. "]"
                end
            elseif opt == 2 or opt == 6 or opt == 7 then
                if s == 0 then
                    x = x .. ", " .. map_extend[opt] .. "]"
                else
                    x = x .. ", " .. map_extend[opt] .. " #" .. sz .. "]"
                end
            else
                x = x .. "]"
            end
        elseif p == "P" then
            local opcv, sh = rshift(op, 26), 2
            if opcv >= 0x2a then
                sh = 4
            elseif opcv >= 0x1b then
                sh = 3
            end
            local imm7 = lshift(arshift(lshift(op, 10), 25), sh)
            local rn = map_regs.x[band(rshift(op, 5), 31)]
            local ind = band(rshift(op, 23), 3)
            if ind == 1 then
                x = "[" .. rn .. "], #" .. imm7
            elseif ind == 2 then
                if imm7 == 0 then
                    x = "[" .. rn .. "]"
                else
                    x = "[" .. rn .. ", #" .. imm7 .. "]"
                end
            elseif ind == 3 then
                x = "[" .. rn .. ", #" .. imm7 .. "]!"
            end
        elseif p == "I" then
            local shf = band(rshift(op, 22), 3)
            local imm12 = band(rshift(op, 10), 0x0fff)
            local rn, rd = band(rshift(op, 5), 31), band(op, 31)
            if altname == "mov" and shf == 0 and imm12 == 0 and (rn == 31 or rd == 31) then
                name = altname
                x = nil
            elseif shf == 0 then
                x = imm12
            elseif shf == 1 then
                x = imm12 .. ", lsl #12"
            end
        elseif p == "i" then
            x = "#0x" .. decode_imm13(op)
        elseif p == "1" then
            immr = band(rshift(op, 16), 63)
            x = immr
        elseif p == "2" then
            x = band(rshift(op, 10), 63)
            if altname then
                local a1, a2, a3, a4, a5, a6 = match(altname, "([^|]*)|([^|]*)|([^|]*)|([^|]*)|([^|]*)|(.*)")
                local sf = band(rshift(op, 26), 32)
                local uns = band(rshift(op, 30), 1)
                if prefer_bfx(sf, uns, x, immr) then
                    name = a2
                    x = x - immr + 1
                elseif immr == 0 and x == 7 then
                    local n = #operands
                    operands[n] = nil
                    if sf ~= 0 then
                        operands[n - 1] = gsub(operands[n - 1], "x", "w")
                    end
                    last = operands[n - 1]
                    name = a6
                    x = nil
                elseif immr == 0 and x == 15 then
                    local n = #operands
                    operands[n] = nil
                    if sf ~= 0 then
                        operands[n - 1] = gsub(operands[n - 1], "x", "w")
                    end
                    last = operands[n - 1]
                    name = a5
                    x = nil
                elseif x == 31 or x == 63 then
                    if x == 31 and immr == 0 and name == "sbfm" then
                        name = a4
                        local n = #operands
                        operands[n] = nil
                        if sf ~= 0 then
                            operands[n - 1] = gsub(operands[n - 1], "x", "w")
                        end
                        last = operands[n - 1]
                    else
                        name = a3
                    end
                    x = nil
                elseif band(x, 31) ~= 31 and immr == x + 1 and name == "ubfm" then
                    name = a4
                    last = "#" .. (sf + 32 - immr)
                    operands[#operands] = last
                    x = nil
                elseif x < immr then
                    name = a1
                    last = "#" .. (sf + 32 - immr)
                    operands[#operands] = last
                    x = x + 1
                end
            end
        elseif p == "3" then
            x = band(rshift(op, 10), 63)
            if altname then
                local a1, a2 = match(altname, "([^|]*)|(.*)")
                if x < immr then
                    name = a1
                    local sf = band(rshift(op, 26), 32)
                    last = "#" .. (sf + 32 - immr)
                    operands[#operands] = last
                    x = x + 1
                elseif x >= immr then
                    name = a2
                    x = x - immr + 1
                end
            end
        elseif p == "4" then
            x = band(rshift(op, 10), 63)
            local rn = band(rshift(op, 5), 31)
            local rm = band(rshift(op, 16), 31)
            if altname and rn == rm then
                local n = #operands
                operands[n] = nil
                last = operands[n - 1]
                name = altname
            end
        elseif p == "5" then
            x = band(rshift(op, 16), 31)
        elseif p == "S" then
            x = band(rshift(op, 10), 63)
            if x == 0 then
                x = nil
            else
                x = map_shift[band(rshift(op, 22), 3)] .. " #" .. x
            end
        elseif p == "X" then
            local opt = band(rshift(op, 13), 7)
            -- Width specifier <R>.
            if opt ~= 3 and opt ~= 7 then
                last = map_regs.w[band(rshift(op, 16), 31)]
                operands[#operands] = last
            end
            x = band(rshift(op, 10), 7)
            -- Extension.
            if opt == 2 + band(rshift(op, 31), 1) and
                    band(rshift(op, second0 and 5 or 0), 31) == 31 then
                if x == 0 then
                    x = nil
                else
                    x = "lsl #" .. x
                end
            else
                if x == 0 then
                    x = map_extend[band(rshift(op, 13), 7)]
                else
                    x = map_extend[band(rshift(op, 13), 7)] .. " #" .. x
                end
            end
        elseif p == "R" then
            x = band(rshift(op, 21), 3)
            if x == 0 then
                x = nil
            else
                x = "lsl #" .. x * 16
            end
        elseif p == "z" then
            local n = #operands
            if operands[n] == "sp" then
                operands[n] = "xzr"
            elseif operands[n] == "wsp" then
                operands[n] = "wzr"
            end
        elseif p == "Z" then
            x = 0
        elseif p == "F" then
            x = parse_fpimm8(op)
        elseif p == "g" or p == "f" or p == "x" or p == "w" or
                p == "d" or p == "s" then
            -- These are handled in D/N/M/A.
        elseif p == "0" then
            if last == "sp" or last == "wsp" then
                local n = #operands
                operands[n] = nil
                last = operands[n - 1]
                if altname then
                    local a1, a2 = match(altname, "([^|]*)|(.*)")
                    if not a1 then
                        name = altname
                    elseif second0 then
                        name, altname = a2, a1
                    else
                        name, altname = a1, a2
                    end
                end
            end
            second0 = true
        else
            assert(false)
        end
        if x then
            last = x
            if type(x) == "number" then
                x = "#" .. x
            end
            operands[#operands + 1] = x
        end
    end

    return putop(ctx, name .. suffix, operands)
end

------------------------------------------------------------------------------

-- Disassemble a block of code.
local function disass_block(ctx, ofs, len)
    if not ofs then
        ofs = 0
    end
    local stop = len and ofs + len or #ctx.code
    ctx.pos = ofs
    ctx.rel = nil
    while ctx.pos < stop do
        disass_ins(ctx)
    end
end

-- Extended API: create a disassembler context. Then call ctx:disass(ofs, len).
local function create(code, addr, out)
    local ctx = {}
    ctx.code = code
    ctx.addr = addr or 0
    ctx.out = out or io.write
    ctx.symtab = {}
    ctx.disass = disass_block
    ctx.hexdump = 8
    return ctx
end

-- Simple API: disassemble code (a string) at address and output via out.
local function disass(code, addr, out)
    create(code, addr, out):disass()
end

-- Return register name for RID.
local function regname(r)
    if r < 32 then
        return map_regs.x[r]
    end
    return map_regs.d[r - 32]
end

-- Public module functions.
return {
    create = create,
    disass = disass,
    regname = regname
}

